identically true proposition

См. также в других словарях:

• Quantum logic — In mathematical physics and quantum mechanics, quantum logic is a set of rules for reasoning about propositions which takes the principles of quantum theory into account. This research area and its name originated in the 1936 paper by Garrett… …   Wikipedia

• probability theory — Math., Statistics. the theory of analyzing and making statements concerning the probability of the occurrence of uncertain events. Cf. probability (def. 4). [1830 40] * * * Branch of mathematics that deals with analysis of random events.… …   Universalium

• Bradley, F.H. — Bradley T.L.S.Sprigge INTRODUCTORY F.H.Bradley (1846–1924) was a fellow of Merton College, Oxford, for all his adult life. Though his personality and life are interesting, information about them is not required for an understanding of his… …   History of philosophy

• Ockham’s world and future — Arthur Gibson PHILOSOPHICAL BIOGRAPHY Ockham was born in about 1285, certainly before 1290, probably in the village of Ockham, Surrey, near London. If his epitaph is accurate, he died on 10 April 1347. Yet Conrad of Megenberg, when writing to… …   History of philosophy

• The Real Presence of Christ in the Eucharist —     The Real Presence of Christ in the Eucharist     † Catholic Encyclopedia ► The Real Presence of Christ in the Eucharist     In this article we shall consider:     ♦ the fact of the Real Presence, which is, indeed, the central dogma;     ♦ the …   Catholic encyclopedia

• Immanuel Kant — Kant redirects here. For other uses, see Kant (disambiguation). See also: Kant (surname) Immanuel Kant Immanuel Kant Full name Immanuel Kant Born 22 April 1724 …   Wikipedia

• Positivism — • A system of philosophical and religious doctrines elaborated by Auguste Comte. Catholic Encyclopedia. Kevin Knight. 2006. Positivism     Positivism      …   Catholic encyclopedia

• evolution — evolutional, adj. evolutionally, adv. /ev euh looh sheuhn/ or, esp. Brit., /ee veuh /, n. 1. any process of formation or growth; development: the evolution of a language; the evolution of the airplane. 2. a product of such development; something… …   Universalium

• economic stabilizer — Any of the institutions and practices in an economy that serve to reduce fluctuations in the business cycle through offsetting effects on the amounts of income available for spending (disposable income). The progressive income tax, unemployment… …   Universalium

• History of the Church–Turing thesis — This article is an extension of the history of the Church–Turing thesis. The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… …   Wikipedia

• cañada — /keuhn yah deuh, yad euh/, n. Chiefly Western U.S. 1. a dry riverbed. 2. a small, deep canyon. [1840 50; < Sp, equiv. to cañ(a) CANE + ada n. suffix] * * * Canada Introduction Canada Background: A land of vast distances and rich natural resources …   Universalium